Optimal. Leaf size=141 \[ \frac{2 x^{3/2} \sqrt{b x+c x^2} (6 b B-5 A c)}{5 b c^2}-\frac{8 \sqrt{x} \sqrt{b x+c x^2} (6 b B-5 A c)}{15 c^3}+\frac{16 b \sqrt{b x+c x^2} (6 b B-5 A c)}{15 c^4 \sqrt{x}}-\frac{2 x^{7/2} (b B-A c)}{b c \sqrt{b x+c x^2}} \]
[Out]
________________________________________________________________________________________
Rubi [A] time = 0.11096, antiderivative size = 141, normalized size of antiderivative = 1., number of steps used = 4, number of rules used = 3, integrand size = 24, \(\frac{\text{number of rules}}{\text{integrand size}}\) = 0.125, Rules used = {788, 656, 648} \[ \frac{2 x^{3/2} \sqrt{b x+c x^2} (6 b B-5 A c)}{5 b c^2}-\frac{8 \sqrt{x} \sqrt{b x+c x^2} (6 b B-5 A c)}{15 c^3}+\frac{16 b \sqrt{b x+c x^2} (6 b B-5 A c)}{15 c^4 \sqrt{x}}-\frac{2 x^{7/2} (b B-A c)}{b c \sqrt{b x+c x^2}} \]
Antiderivative was successfully verified.
[In]
[Out]
Rule 788
Rule 656
Rule 648
Rubi steps
\begin{align*} \int \frac{x^{7/2} (A+B x)}{\left (b x+c x^2\right )^{3/2}} \, dx &=-\frac{2 (b B-A c) x^{7/2}}{b c \sqrt{b x+c x^2}}-\left (\frac{5 A}{b}-\frac{6 B}{c}\right ) \int \frac{x^{5/2}}{\sqrt{b x+c x^2}} \, dx\\ &=-\frac{2 (b B-A c) x^{7/2}}{b c \sqrt{b x+c x^2}}+\frac{2 (6 b B-5 A c) x^{3/2} \sqrt{b x+c x^2}}{5 b c^2}-\frac{(4 (6 b B-5 A c)) \int \frac{x^{3/2}}{\sqrt{b x+c x^2}} \, dx}{5 c^2}\\ &=-\frac{2 (b B-A c) x^{7/2}}{b c \sqrt{b x+c x^2}}-\frac{8 (6 b B-5 A c) \sqrt{x} \sqrt{b x+c x^2}}{15 c^3}+\frac{2 (6 b B-5 A c) x^{3/2} \sqrt{b x+c x^2}}{5 b c^2}+\frac{(8 b (6 b B-5 A c)) \int \frac{\sqrt{x}}{\sqrt{b x+c x^2}} \, dx}{15 c^3}\\ &=-\frac{2 (b B-A c) x^{7/2}}{b c \sqrt{b x+c x^2}}+\frac{16 b (6 b B-5 A c) \sqrt{b x+c x^2}}{15 c^4 \sqrt{x}}-\frac{8 (6 b B-5 A c) \sqrt{x} \sqrt{b x+c x^2}}{15 c^3}+\frac{2 (6 b B-5 A c) x^{3/2} \sqrt{b x+c x^2}}{5 b c^2}\\ \end{align*}
Mathematica [A] time = 0.0500794, size = 74, normalized size = 0.52 \[ \frac{2 \sqrt{x} \left (-8 b^2 c (5 A-3 B x)-2 b c^2 x (10 A+3 B x)+c^3 x^2 (5 A+3 B x)+48 b^3 B\right )}{15 c^4 \sqrt{x (b+c x)}} \]
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
Maple [A] time = 0.006, size = 83, normalized size = 0.6 \begin{align*} -{\frac{ \left ( 2\,cx+2\,b \right ) \left ( -3\,B{c}^{3}{x}^{3}-5\,A{x}^{2}{c}^{3}+6\,B{x}^{2}b{c}^{2}+20\,Ab{c}^{2}x-24\,B{b}^{2}cx+40\,A{b}^{2}c-48\,{b}^{3}B \right ) }{15\,{c}^{4}}{x}^{{\frac{3}{2}}} \left ( c{x}^{2}+bx \right ) ^{-{\frac{3}{2}}}} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Maxima [F] time = 0., size = 0, normalized size = 0. \begin{align*} \frac{2 \,{\left ({\left (3 \, B c^{3} x^{2} + B b c^{2} x - 2 \, B b^{2} c\right )} x^{3} -{\left (4 \, B b^{3} +{\left (4 \, B b c^{2} - 5 \, A c^{3}\right )} x^{2} +{\left (8 \, B b^{2} c - 5 \, A b c^{2}\right )} x\right )} x^{2}\right )} \sqrt{c x + b}}{15 \,{\left (c^{5} x^{3} + 2 \, b c^{4} x^{2} + b^{2} c^{3} x\right )}} - \int -\frac{4 \,{\left (2 \, B b^{4} +{\left (7 \, B b^{2} c^{2} - 5 \, A b c^{3}\right )} x^{2} +{\left (9 \, B b^{3} c - 5 \, A b^{2} c^{2}\right )} x\right )} \sqrt{c x + b} x^{2}}{15 \,{\left (c^{6} x^{5} + 3 \, b c^{5} x^{4} + 3 \, b^{2} c^{4} x^{3} + b^{3} c^{3} x^{2}\right )}}\,{d x} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Fricas [A] time = 1.93087, size = 200, normalized size = 1.42 \begin{align*} \frac{2 \,{\left (3 \, B c^{3} x^{3} + 48 \, B b^{3} - 40 \, A b^{2} c -{\left (6 \, B b c^{2} - 5 \, A c^{3}\right )} x^{2} + 4 \,{\left (6 \, B b^{2} c - 5 \, A b c^{2}\right )} x\right )} \sqrt{c x^{2} + b x} \sqrt{x}}{15 \,{\left (c^{5} x^{2} + b c^{4} x\right )}} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Sympy [F(-1)] time = 0., size = 0, normalized size = 0. \begin{align*} \text{Timed out} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Giac [A] time = 1.16386, size = 146, normalized size = 1.04 \begin{align*} \frac{2 \,{\left (3 \,{\left (c x + b\right )}^{\frac{5}{2}} B - 15 \,{\left (c x + b\right )}^{\frac{3}{2}} B b + 45 \, \sqrt{c x + b} B b^{2} + 5 \,{\left (c x + b\right )}^{\frac{3}{2}} A c - 30 \, \sqrt{c x + b} A b c + \frac{15 \,{\left (B b^{3} - A b^{2} c\right )}}{\sqrt{c x + b}}\right )}}{15 \, c^{4}} - \frac{16 \,{\left (6 \, B b^{3} - 5 \, A b^{2} c\right )}}{15 \, \sqrt{b} c^{4}} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]